Some proposals for SNAP, a language with formal macro facilities

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Withholding cardiopulmonary resuscitation: proposals for formal guidelines.

Working with members of the Royal London Trust and its medical council, Len Doyal and Daniel Wilsher have composed a set of guidelines governing the making of decisions to withhold resuscitation from patients. The guidelines describe the procedures that should be followed when giving orders for non-resuscitation and the clinical, legal, and moral criteria that should be satisfied before such or...

متن کامل

Some Recent Developments in Formal Language Theory

Given a finite alphabet S 9 any subset of X* (the set of all words over I) is called a language. This is how language is defined in formal language theory. Hence in mathematical terms, formal language theory investigates subsets of free monoids. In traditional formal language theory (initiated by the linguist Chomsky) languages are defined by various finitary processes such as grammars and auto...

متن کامل

Proposals For A Hierarchy Of Formal Translation Models

From the methodological point of view it appears diffloult to delineate a borderline between translation theory and modern theoretical lingu~stlos (availing itself of model theoretical semantics) or full natural language understanding systems as developed in Artificial Intelligence research. It seems plausible to postulate that any prospective translation theory should draw on ideas from both f...

متن کامل

A Formal Language for Composition

A composition language based on a formal semantic foundation will facilitate precise specification of glue abstractions and compositions, and will support reasoning about their behaviour. The semantic foundation, however, must address a set of requirements like encapsulation, objects as processes, components as abstractions, plug compatibility, a formal object model, and scalability. In this wo...

متن کامل

Why language acquisition is a snap

Nativists inspired by Chomsky are apt to provide arguments with the following general form: languages exhibit interesting generalizations that are not suggested by casual (or even intensive) examination of what people actually say; correspondingly, adults (i.e., just about anyone above the age of four) know much more about language than they could plausibly have learned on the basis of their ex...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Computer Journal

سال: 1967

ISSN: 0010-4620,1460-2067

DOI: 10.1093/comjnl/10.3.231